
.TH Labels 3 "" "Odoc" "OCaml Library"
.SH Name
Labels
.SH Synopsis
.sp 
.in 2
\fBModule Labels\fR
.in 
.sp 
.SH Documentation
.sp 
.nf 
.sp 
.in 3
\fB1 Attached to unit\fR
.in 
.sp 
.in 3
\fB2 Attached to nothing\fR
.in 
.sp 
\f[CB]module\fR A : \f[CB]sig\fR \.\.\. \f[CB]end\fR
.sp 
\f[CB]type\fR t
.fi 
.br 
.ti +2
Attached to type
.nf 
.sp 
\f[CB]val\fR f : t
.fi 
.br 
.ti +2
Attached to value
.nf 
.sp 
\f[CB]val\fR e : unit \f[CB]\->\fR t
.fi 
.br 
.ti +2
Attached to external
.nf 
.sp 
\f[CB]module\fR \f[CB]type\fR S = \f[CB]sig\fR
.br 
.ti +2
.sp 
.ti +2
\fB2\.1\.1 Attached to module type\fR
.sp 
.ti +2

.br 
\f[CB]end\fR
.sp 
\f[CB]class\fR c : \f[CB]object\fR \.\.\. \f[CB]end\fR
.sp 
\f[CB]class\fR \f[CB]type\fR  cs = \f[CB]object\fR
.br 
.ti +2
.sp 
.ti +2
\fB2\.1\.2 Attached to class type\fR
.sp 
.ti +2

.br 
\f[CB]end\fR
.sp 
\f[CB]exception\fR \f[CB]E\fR
.fi 
.br 
.ti +2
Attached to exception
.nf 
.sp 
\f[CB]type\fR x = \.\.
.sp 
\f[CB]type\fR x += 
.br 
.ti +2
| \f[CB]X\fR
.br 
.fi 
.br 
.ti +2
Attached to extension
.nf 
.sp 
\f[CB]module\fR S := A
.fi 
.br 
.ti +2
Attached to module subst
.nf 
.sp 
\f[CB]type\fR s := t
.fi 
.br 
.ti +2
Attached to type subst
.nf 
.sp 
\f[CB]type\fR u = 
.br 
.ti +2
| \f[CB]A'\fR
.br 
.ti +4
(* Attached to constructor *)
.br 
.sp 
\f[CB]type\fR v = {
.br 
.ti +2
f : t;
.br 
.ti +4
(* Attached to field *)
.br 
}
.sp 
.fi 
Testing that labels can be referenced
.sp 
\(bu \f[CI]Attached to unit\fR
.br 
\(bu \f[CI]Attached to nothing\fR
.br 
\(bu \f[CI]Attached to module\fR
.br 
\(bu \f[CI]Attached to type\fR
.br 
\(bu \f[CI]Attached to value\fR
.br 
\(bu \f[CI]Attached to module type\fR
.br 
\(bu \f[CI]Attached to class\fR
.br 
\(bu \f[CI]Attached to class type\fR
.br 
\(bu \f[CI]Attached to exception\fR
.br 
\(bu \f[CI]Attached to extension\fR
.br 
\(bu \f[CI]Attached to module subst\fR
.br 
\(bu \f[CI]Attached to type subst\fR
.br 
\(bu \f[CI]Attached to constructor\fR
.br 
\(bu \f[CI]Attached to field\fR
.nf 

